#verificación explícita de premisas